DEF=test
EXT=test
KOMPILE_BACKEND=haskell
TESTDIR=.

include ../../../include/kframework/ktest.mak
